First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
531	On Bounded Reachability of Programs with Set Comprehensions Margus Veanes1 and Ando Saabas2? 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2009-01-06 12:05:39 Formal methods Complexity classes Computability theory Metalogic NP-complete problems FO Model theory First-order logic P Theoretical computer science Computational complexity theory Applied mathematics
532	Reprint 481 Long-range Forecasting by Analogue The Experience of Hong Kong, China T.W. Hui & W.L. Chang Add to Reading List Source URL: www.weather.gov.hk Language: English - Date: 2009-04-13 04:08:34 Programming paradigms Predicate logic Semantic Web Knowledge representation Information science Logic programming Ontology First-order logic Knowledge representation and reasoning Science Logic Mathematical logic
533	Background First-order Probabilistic Models Identity, Existence and Ontologies Uncertainty with logical, procedural and relational languages Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2006-07-08 17:53:39 Programming paradigms Predicate logic Semantic Web Knowledge representation Information science Logic programming Ontology First-order logic Knowledge representation and reasoning Science Logic Mathematical logic
534	Predicate Calculus and Jess Wolfgang Laun Thales Rail Signalling GesmbH Vienna, Austria 5 February 2009 Add to Reading List Source URL: www.jessrules.com Language: English - Date: 2009-02-10 10:12:12 Predicate logic Propositional calculus Quantification Jess Predicate First-order logic Proposition Universal quantification Free variables and bound variables Logic Mathematical logic Mathematics
535	Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier Ray Reiter Bob Price Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-08-27 08:09:21 Predicate logic Dynamic programming Functions and mappings Equations Mathematical optimization Markov decision process Reinforcement learning Continuous function Function Mathematics Statistics Logic
536	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-07-15 03:25:29 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
537	Microsoft Word - IBS[removed]AI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Philosophy of mathematics Tic-tac-toe Function First-order logic Combinatory logic Economic model Model theory Random access machine Mathematics Mathematical logic Logic
538	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
539	Microsoft PowerPoint - ATP.ppt Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-09-28 21:48:06 Automated theorem proving Logical consequence Proof theory Philosophical logic First-order logic Resolution Propositional calculus Axiom Inference Logic Mathematical logic Mathematics
540	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic

UPDATE